- ABB+86
-
Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid,
Avadis Tevanian, and Michael Young.
Mach: A New Kernel Foundation for UNIX Development.
In Proceedings of the Summer 1986 USENIX Conference, 1986.
- Aco92
-
Acorn Computers Limited.
RISC OS 3 Programmer's Reference Manual, December 1992.
- Adv95
-
Advanced RISC Machines Ltd.
ARM710a Preliminary Data Sheet, ARM DDI 0022D edition, July
1995.
- CDK94
-
Coulouris, Dollimore, and Kindberg.
Distributed Systems Concepts & Design.
Addison-Wesley, 2nd edition, 1994.
- CPS95
-
Brent Callaghan, Brian Pawlowski, and Peter Staubach.
RFC 1813.
Technical report, Internet Engineering Task Force, June 1995.
- EFF+97
-
Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, and Gary Lindstrom.
Flick: A flexible, optimizing IDL compiler.
In Proceedings of the ACM SIGPLAN Conference on Programming
Language Design and Implementation (PLDI-97), volume 32, 5 of ACM
SIGPLAN Notices, pages 44–56, New York, June15–18 1997. ACM Press.
- HHL+97
-
Hermann Härtig, Michael Hohmuth, Jochen Lidtke, Sebastian
Schönberg, and Jean Wolter.
The Performance of μ-Kernel-Based Systems.
In Proceedings of the sixteenth ACM Symposium on Operating
System Principles, volume 31-5, December 1997.
- HR96
-
Michael Hohmuth and Sven Rudolph.
Steps Towards Porting a Unix Single Server to the L3 Microkernel.
Technical report, Dresden University of Technology, April 1996.
- Lie92
-
Jochen Liedtke.
Clans & Chiefs.
In 12. GI/ITG-Fachtagung Architektur von Rechensystemen, pages
294–305. Springer, 1992.
- Lie93
-
Jochen Liedtke.
Improving IPC by kernel design.
In Barbara Liskov, editor, Proceedings of the 14th Symposium on
Operating Systems Principles, pages 175–188, New York, NY, USA, December
1993. ACM Press.
- Lie95
-
Jochen Liedtke.
On μ-kernel construction.
In Proceedings of the 15th Symposium on Operating Systems
Principles, pages 237–250. ACM Press, December 1995.